A problem for information theoretic semantics

A Model-Theoretic Reconstruction of Type-Theoretic Semantics for Anaphora

I present an analysis of the interpretation of anaphora that takes concepts from type-theoretic semantics, in particular the use of the Σ and Π dependent type constructors, and incorporates them into a model-theoretic framework. The analysis makes use of (parametrically) polymorphic lexical entries. The key ideas are that, in the simplest case, eventualities can play the role that proof objects...

A Model Theoretic Semantics for Ontology Versioning

We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that takes into account ontology extension and ontology versioning. Since the Web is the product of a diverse community, as opposed to a single agent, this semantics accommodates different viewpoints by having different entailment r...

A Model-Theoretic Semantics for Defeasible Logic

Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.

A Type-Theoretic Semantics for -DRT1

A Knowledge-Theoretic Semantics for Concurrent METATEM

The aim of this paper is to develop a semantics for the multi-agent programming language Concurrent METATEM, by using the tools of knowledge theory. We begin by presenting an informal overview of the Concurrent METATEM language, and then formally define the notion of a Concurrent METATEM agent program, the possible states of a Concurrent METATEM agent and system, and finally, what constitutes a...